Elisabeth Schulz-Semrau: Die Beurteilung

Erprobung eines internetbasierenden Pruefungssystems in der zahnmedizinischen Ausbildung und die Beurteilung der Grenzen, Chancen und Nutzen

Die Beurteilung der Informationsdarstellung auf Airport Moving Maps nach DIN EN ISO 9241-12

Display wurde als wichtigstes Beurteilungskriterium eingestuft.

Anwendungsarchitektur-Beurteilung unter Berücksichtigung zu erwartender Flexibilität

Für die Gestaltung einer Anwendungsarchitektur existieren Richtlinien, die zu einer „guten“ Abgrenzung von Anwendungssystemen führen sollen. Es ist jedoch noch unklar, wie die Güte einer Aufgabenzerlegung und -zuordnung beurteilt werden kann. In diesem Beitrag wird argumentiert, dass die Flexibilität einer Anwendungsarchitektur ein wichtiges Gestaltungsziel darstellt. Dieses Ziel ist im Softwar...

System Description : E 1 . 8 Stephan Schulz

E is a theorem prover for full first-order logic with equality. It reduces first-order problems to clause normal form and employs a saturation algorithm based on the equational superposition calculus. E is built on shared terms with cached rewriting, and employs several innovations for efficient clause indexing. Major strengths of the system are automatic problem analysis and highly flexible se...

Hochschild Cohomology of the Liu–schulz Algebras

A description of the Hochschild cohomology algebra for the symmetric 8-dimensional algebras found by Liu and Schulz is given in terms of generators and relations. The dimensions of the cohomology groups are calculated. §